Merge pull request #1367 from robertovargas-arm/ndebug
authordanh-arm <[email protected]>
Thu, 3 May 2018 15:46:44 +0000 (16:46 +0100)
committerGitHub <[email protected]>
Thu, 3 May 2018 15:46:44 +0000 (16:46 +0100)
Remove the unused macro NDEBUG

1  2 
Makefile

diff --cc Makefile
Simple merge